#include "user_buzz.h"
#include <sys/syscall.h>

long init_bzz(bzz_t *l, int i, useconds_t t) {
    syscall(286, l, i, t);
}
long bzz_color(int i, bzz_t l) {
    syscall(287, i, l);
}
long bzz_lock(bzz_t lock) {
    syscall(288, lock);
}
long bzz_release(bzz_t lock) {
    syscall(289, lock);
}
long bzz_kill(bzz_t lock) {
    syscall(290, lock);
}
